[next] [prev] [prev-tail] [tail] [up]

2.2.11 Integrals 1001 to 1100

Detailed conclusion table per each integral is given by table below. The elapsed time is in seconds. For failed result it is given as F(-1) if the failure was due to timeout. It is given as F(-2) if the failure was due to an exception being raised, which could indicate a bug in the system. If the failure was due to integral not being evaluated within the time limit, then it is given just an F.

In this table,the column N.S. in the table below, which stands for normalized size is defined as \(\frac {\text {antiderivative leaf size}}{\text {optimal antiderivative leaf size}}\). To help make the table fit, Mathematica was abbreviated to MMA.

Problem 1001

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A F A F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

42 42 37 35 0 21 0 0 -1

N.S.

1 1.00 0.88 0.83 0.00 0.50 0.00 0.00 -0.02

time (sec)

N/A 0.019 0.278 0.124 0.000 0.149 0.000 0.000 0.000

Problem 1002

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A F A F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

43 43 38 35 0 21 0 0 -1

N.S.

1 1.00 0.88 0.81 0.00 0.49 0.00 0.00 -0.02

time (sec)

N/A 0.021 0.257 0.128 0.000 0.130 0.000 0.000 0.000

Problem 1003

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A F A F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

47 47 40 35 0 23 0 0 -1

N.S.

1 1.00 0.85 0.74 0.00 0.49 0.00 0.00 -0.02

time (sec)

N/A 0.022 0.278 0.126 0.000 0.232 0.000 0.000 0.000

Problem 1004

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C A F F(-2) F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

80 80 34 30 0 0 0 0 -1

N.S.

1 1.00 0.42 0.38 0.00 0.00 0.00 0.00 -0.01

time (sec)

N/A 0.020 0.249 0.114 0.000 0.000 0.000 0.000 0.000

Problem 1005

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C A F F(-2) F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

82 82 38 26 0 0 0 0 -1

N.S.

1 1.00 0.46 0.32 0.00 0.00 0.00 0.00 -0.01

time (sec)

N/A 0.020 0.268 0.113 0.000 0.000 0.000 0.000 0.000

Problem 1006

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C C F F(-2) F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

88 88 50 36 0 0 0 0 -1

N.S.

1 1.00 0.57 0.41 0.00 0.00 0.00 0.00 -0.01

time (sec)

N/A 0.020 0.266 0.114 0.000 0.000 0.000 0.000 0.000

Problem 1007

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A B A F A F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

17 17 37 34 0 23 0 0 -1

N.S.

1 1.00 2.18 2.00 0.00 1.35 0.00 0.00 -0.06

time (sec)

N/A 0.019 0.266 0.140 0.000 0.526 0.000 0.000 0.000

Problem 1008

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A C A A F A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

109 109 121 482 108 102 0 108 128

N.S.

1 1.00 1.11 4.42 0.99 0.94 0.00 0.99 1.17

time (sec)

N/A 0.070 0.147 7.511 0.478 0.886 0.000 0.616 0.501

Problem 1009

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A C A A F A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

94 94 105 648 97 122 0 97 117

N.S.

1 1.00 1.12 6.89 1.03 1.30 0.00 1.03 1.24

time (sec)

N/A 0.048 0.104 7.608 0.478 0.888 0.000 0.586 0.476

Problem 1010

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A C A A A A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

79 79 82 736 86 86 78 86 106

N.S.

1 1.00 1.04 9.32 1.09 1.09 0.99 1.09 1.34

time (sec)

N/A 0.038 0.084 3.575 0.488 0.747 41.524 0.545 0.586

Problem 1011

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F F A F A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

136 136 163 0 0 177 0 149 256

N.S.

1 1.00 1.20 0.00 0.00 1.30 0.00 1.10 1.88

time (sec)

N/A 0.070 0.172 0.033 0.000 0.678 0.000 0.571 0.548

Problem 1012

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A C F A F A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

97 97 108 755 0 115 0 100 120

N.S.

1 1.00 1.11 7.78 0.00 1.19 0.00 1.03 1.24

time (sec)

N/A 0.056 0.146 13.127 0.000 0.693 0.000 0.590 0.493

Problem 1013

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F F A F A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

172 172 214 0 0 217 0 177 397

N.S.

1 1.00 1.24 0.00 0.00 1.26 0.00 1.03 2.31

time (sec)

N/A 0.097 0.288 0.010 0.000 0.713 0.000 0.993 0.550

Problem 1014

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C F F F F F F

verified

N/A Yes NO TBD TBD TBD TBD TBD TBD

size

536 536 156 0 0 0 0 0 -1

N.S.

1 1.00 0.29 0.00 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 0.210 5.057 0.008 0.000 0.000 0.000 0.000 0.000

Problem 1015

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C F F F F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

515 515 28 0 0 0 0 0 -1

N.S.

1 1.00 0.05 0.00 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 0.117 4.437 0.030 0.000 0.000 0.000 0.000 0.000

Problem 1016

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C C F B F F F

verified

N/A Yes NO TBD TBD TBD TBD TBD TBD

size

113 113 118 938 0 1943 0 0 -1

N.S.

1 1.00 1.04 8.30 0.00 17.19 0.00 0.00 -0.01

time (sec)

N/A 0.010 0.028 12.878 0.000 1.383 0.000 0.000 0.000

Problem 1017

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C F F F F F F

verified

N/A Yes NO TBD TBD TBD TBD TBD TBD

size

538 538 161 0 0 0 0 0 -1

N.S.

1 1.00 0.30 0.00 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 0.167 10.091 0.008 0.000 0.000 0.000 0.000 0.000

Problem 1018

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C F F F F F F

verified

N/A Yes NO TBD TBD TBD TBD TBD TBD

size

556 556 166 0 0 0 0 0 -1

N.S.

1 1.00 0.30 0.00 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 0.214 10.098 0.010 0.000 0.000 0.000 0.000 0.000

Problem 1019

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A C A A F A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

133 133 124 489 126 133 0 126 148

N.S.

1 1.00 0.93 3.68 0.95 1.00 0.00 0.95 1.11

time (sec)

N/A 0.062 0.271 6.605 0.471 0.566 0.000 1.367 0.523

Problem 1020

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A C A A F A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

116 116 119 656 115 153 0 115 137

N.S.

1 1.00 1.03 5.66 0.99 1.32 0.00 0.99 1.18

time (sec)

N/A 0.055 0.235 6.419 0.465 0.668 0.000 1.227 0.496

Problem 1021

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A C A A F A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

101 101 112 477 104 121 0 104 126

N.S.

1 1.00 1.11 4.72 1.03 1.20 0.00 1.03 1.25

time (sec)

N/A 0.045 0.196 6.464 0.479 0.507 0.000 1.262 0.505

Problem 1022

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A C A A F A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

101 101 112 484 104 125 0 104 126

N.S.

1 1.00 1.11 4.79 1.03 1.24 0.00 1.03 1.25

time (sec)

N/A 0.042 0.139 6.670 0.467 0.441 0.000 1.106 0.483

Problem 1023

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F F A F A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

158 158 184 0 0 227 0 167 375

N.S.

1 1.00 1.16 0.00 0.00 1.44 0.00 1.06 2.37

time (sec)

N/A 0.078 0.301 0.013 0.000 0.444 0.000 0.923 0.550

Problem 1024

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F F A F A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

183 183 194 0 0 238 0 190 409

N.S.

1 1.00 1.06 0.00 0.00 1.30 0.00 1.04 2.23

time (sec)

N/A 0.094 0.356 0.013 0.000 0.493 0.000 1.076 0.543

Problem 1025

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F F A F A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

208 208 197 0 0 265 0 181 416

N.S.

1 1.00 0.95 0.00 0.00 1.27 0.00 0.87 2.00

time (sec)

N/A 0.107 0.378 0.011 0.000 0.491 0.000 0.814 0.560

Problem 1026

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C F F F F F F

verified

N/A Yes NO TBD TBD TBD TBD TBD TBD

size

543 543 157 0 0 0 0 0 -1

N.S.

1 1.00 0.29 0.00 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 0.163 5.416 0.013 0.000 0.000 0.000 0.000 0.000

Problem 1027

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C F F F F F F

verified

N/A Yes NO TBD TBD TBD TBD TBD TBD

size

543 543 156 0 0 0 0 0 -1

N.S.

1 1.00 0.29 0.00 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 0.163 4.997 0.009 0.000 0.000 0.000 0.000 0.000

Problem 1028

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C F F F F F F

verified

N/A Yes NO TBD TBD TBD TBD TBD TBD

size

543 543 157 0 0 0 0 0 -1

N.S.

1 1.00 0.29 0.00 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 0.170 10.101 0.004 0.000 0.000 0.000 0.000 0.000

Problem 1029

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C F F F F F F

verified

N/A Yes NO TBD TBD TBD TBD TBD TBD

size

563 563 168 0 0 0 0 0 -1

N.S.

1 1.00 0.30 0.00 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 0.209 10.116 0.013 0.000 0.000 0.000 0.000 0.000

Problem 1030

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C F F F F F F

verified

N/A Yes NO TBD TBD TBD TBD TBD TBD

size

581 581 173 0 0 0 0 0 -1

N.S.

1 1.00 0.30 0.00 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 0.260 10.109 0.010 0.000 0.000 0.000 0.000 0.000

Problem 1031

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A C A B F A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

136 136 110 211 151 253 0 160 82

N.S.

1 1.00 0.81 1.55 1.11 1.86 0.00 1.18 0.60

time (sec)

N/A 0.064 0.182 3.250 0.486 1.498 0.000 0.733 0.501

Problem 1032

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A C A B F A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

121 121 103 204 140 246 0 140 71

N.S.

1 1.00 0.85 1.69 1.16 2.03 0.00 1.16 0.59

time (sec)

N/A 0.045 0.132 2.732 0.478 1.391 0.000 0.825 0.092

Problem 1033

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A C A B F A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

106 106 96 199 129 241 0 129 60

N.S.

1 1.00 0.91 1.88 1.22 2.27 0.00 1.22 0.57

time (sec)

N/A 0.034 0.103 2.697 0.486 2.032 0.000 1.020 0.083

Problem 1034

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A C A B F A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

91 91 76 188 118 189 0 118 49

N.S.

1 1.00 0.84 2.07 1.30 2.08 0.00 1.30 0.54

time (sec)

N/A 0.010 0.088 1.431 0.498 1.646 0.000 1.145 0.081

Problem 1035

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F F B F A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

145 145 117 0 0 270 0 216 91

N.S.

1 1.00 0.81 0.00 0.00 1.86 0.00 1.49 0.63

time (sec)

N/A 0.063 0.156 0.055 0.000 0.996 0.000 1.087 0.543

Problem 1036

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F F B F A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

163 163 155 0 0 307 0 192 109

N.S.

1 1.00 0.95 0.00 0.00 1.88 0.00 1.18 0.67

time (sec)

N/A 0.094 0.269 0.020 0.000 1.027 0.000 0.840 0.568

Problem 1037

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C F F F F F F

verified

N/A Yes NO TBD TBD TBD TBD TBD TBD

size

164 164 184 0 0 0 0 0 -1

N.S.

1 1.00 1.12 0.00 0.00 0.00 0.00 0.00 -0.01

time (sec)

N/A 0.050 6.447 0.015 0.000 0.000 0.000 0.000 0.000

Problem 1038

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C F F F F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

148 148 37 0 0 0 0 0 -1

N.S.

1 1.00 0.25 0.00 0.00 0.00 0.00 0.00 -0.01

time (sec)

N/A 0.040 6.006 0.043 0.000 0.000 0.000 0.000 0.000

Problem 1039

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A C F B F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

120 120 119 188 0 553 0 0 -1

N.S.

1 1.00 0.99 1.57 0.00 4.61 0.00 0.00 -0.01

time (sec)

N/A 0.011 0.025 1.484 0.000 2.659 0.000 0.000 0.000

Problem 1040

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C F F F F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

166 166 56 0 0 0 0 0 -1

N.S.

1 1.00 0.34 0.00 0.00 0.00 0.00 0.00 -0.01

time (sec)

N/A 0.050 20.048 0.015 0.000 0.000 0.000 0.000 0.000

Problem 1041

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C F F F F F F

verified

N/A Yes NO TBD TBD TBD TBD TBD TBD

size

184 184 156 0 0 0 0 0 -1

N.S.

1 1.00 0.85 0.00 0.00 0.00 0.00 0.00 -0.01

time (sec)

N/A 0.062 20.133 0.015 0.000 0.000 0.000 0.000 0.000

Problem 1042

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A C A A A A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

78 78 57 147 74 64 88 75 62

N.S.

1 1.00 0.73 1.88 0.95 0.82 1.13 0.96 0.79

time (sec)

N/A 0.038 0.051 1.399 0.469 0.574 12.601 0.706 0.068

Problem 1043

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A C A A A A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

63 63 53 141 63 57 75 64 51

N.S.

1 1.00 0.84 2.24 1.00 0.90 1.19 1.02 0.81

time (sec)

N/A 0.033 0.044 1.275 0.460 0.700 9.652 0.629 0.491

Problem 1044

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A C A A A A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

48 48 44 135 52 52 58 53 36

N.S.

1 1.00 0.92 2.81 1.08 1.08 1.21 1.10 0.75

time (sec)

N/A 0.023 0.029 1.363 0.465 0.575 7.031 0.753 0.474

Problem 1045

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A C A A A A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

33 33 33 126 41 41 42 42 25

N.S.

1 1.00 1.00 3.82 1.24 1.24 1.27 1.27 0.76

time (sec)

N/A 0.015 0.024 0.714 0.474 0.678 4.176 0.808 0.086

Problem 1046

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A C F A F A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

173 173 110 302 0 215 0 155 77

N.S.

1 1.00 0.64 1.75 0.00 1.24 0.00 0.90 0.45

time (sec)

N/A 0.098 0.129 4.179 0.000 0.588 0.000 0.736 0.104

Problem 1047

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A C F A F A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

191 191 127 315 0 252 0 169 82

N.S.

1 1.00 0.66 1.65 0.00 1.32 0.00 0.88 0.43

time (sec)

N/A 0.110 0.185 8.084 0.000 0.546 0.000 0.746 0.122

Problem 1048

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C F F F F F F

verified

N/A Yes NO TBD TBD TBD TBD TBD TBD

size

244 244 177 0 0 0 0 0 -1

N.S.

1 1.00 0.73 0.00 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 0.121 6.140 0.016 0.000 0.000 0.000 0.000 0.000

Problem 1049

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C F F F F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

224 224 52 0 0 0 0 0 -1

N.S.

1 1.00 0.23 0.00 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 0.071 5.749 0.047 0.000 0.000 0.000 0.000 0.000

Problem 1050

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A C F B F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

61 61 56 138 0 104 0 0 -1

N.S.

1 1.00 0.92 2.26 0.00 1.70 0.00 0.00 -0.02

time (sec)

N/A 0.007 0.013 0.944 0.000 8.401 0.000 0.000 0.000

Problem 1051

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C F F F F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

246 246 64 0 0 0 0 0 -1

N.S.

1 1.00 0.26 0.00 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 0.085 10.028 0.016 0.000 0.000 0.000 0.000 0.000

Problem 1052

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C F F F F F F

verified

N/A Yes NO TBD TBD TBD TBD TBD TBD

size

264 264 148 0 0 0 0 0 -1

N.S.

1 1.00 0.56 0.00 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 0.143 10.119 0.016 0.000 0.000 0.000 0.000 0.000

Problem 1053

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A C F B F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

129 129 109 186 0 282 0 0 -1

N.S.

1 1.00 0.84 1.44 0.00 2.19 0.00 0.00 -0.01

time (sec)

N/A 0.015 1.881 5.451 0.000 1.778 0.000 0.000 0.000

Problem 1054

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A C F B F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

120 120 109 186 0 282 0 0 -1

N.S.

1 1.00 0.91 1.55 0.00 2.35 0.00 0.00 -0.01

time (sec)

N/A 0.016 1.926 5.438 0.000 1.152 0.000 0.000 0.000

Problem 1055

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F F B F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

124 124 112 0 0 393 0 0 -1

N.S.

1 1.00 0.90 0.00 0.00 3.17 0.00 0.00 -0.01

time (sec)

N/A 0.021 2.105 0.035 0.000 0.908 0.000 0.000 0.000

Problem 1056

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F F B F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

119 119 114 0 0 403 0 0 -1

N.S.

1 1.00 0.96 0.00 0.00 3.39 0.00 0.00 -0.01

time (sec)

N/A 0.021 2.177 0.036 0.000 0.879 0.000 0.000 0.000

Problem 1057

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F F A F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

120 120 119 0 0 171 0 0 -1

N.S.

1 1.00 0.99 0.00 0.00 1.42 0.00 0.00 -0.01

time (sec)

N/A 0.020 2.090 0.035 0.000 4.469 0.000 0.000 0.000

Problem 1058

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F F A F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

120 120 119 0 0 171 0 0 -1

N.S.

1 1.00 0.99 0.00 0.00 1.42 0.00 0.00 -0.01

time (sec)

N/A 0.018 2.187 0.033 0.000 2.359 0.000 0.000 0.000

Problem 1059

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F F B F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

115 115 121 0 0 207 0 0 -1

N.S.

1 1.00 1.05 0.00 0.00 1.80 0.00 0.00 -0.01

time (sec)

N/A 0.024 2.089 0.032 0.000 1.336 0.000 0.000 0.000

Problem 1060

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F F B F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

119 119 125 0 0 211 0 0 -1

N.S.

1 1.00 1.05 0.00 0.00 1.77 0.00 0.00 -0.01

time (sec)

N/A 0.027 2.109 0.031 0.000 1.076 0.000 0.000 0.000

Problem 1061

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A C A A F A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

188 188 110 212 151 198 0 160 82

N.S.

1 1.00 0.59 1.13 0.80 1.05 0.00 0.85 0.44

time (sec)

N/A 0.142 0.184 3.381 0.480 0.919 0.000 1.674 0.486

Problem 1062

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A C A A F A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

173 173 105 208 140 193 0 140 71

N.S.

1 1.00 0.61 1.20 0.81 1.12 0.00 0.81 0.41

time (sec)

N/A 0.124 0.136 2.922 0.473 1.087 0.000 1.963 0.094

Problem 1063

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A C A A F A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

158 158 97 202 129 186 0 129 60

N.S.

1 1.00 0.61 1.28 0.82 1.18 0.00 0.82 0.38

time (sec)

N/A 0.110 0.109 2.916 0.494 0.703 0.000 1.180 0.089

Problem 1064

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A C A B F A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

143 143 78 190 118 230 0 118 49

N.S.

1 1.00 0.55 1.33 0.83 1.61 0.00 0.83 0.34

time (sec)

N/A 0.083 0.096 1.139 0.484 0.712 0.000 1.219 0.494

Problem 1065

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A C F B F A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

197 197 121 562 0 315 0 210 91

N.S.

1 1.00 0.61 2.85 0.00 1.60 0.00 1.07 0.46

time (sec)

N/A 0.130 0.168 9.984 0.000 2.593 0.000 0.962 0.122

Problem 1066

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A C F B F A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

215 215 155 577 0 352 0 192 107

N.S.

1 1.00 0.72 2.68 0.00 1.64 0.00 0.89 0.50

time (sec)

N/A 0.159 0.255 25.009 0.000 1.644 0.000 0.842 0.557

Problem 1067

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C F F F F F F

verified

N/A Yes NO TBD TBD TBD TBD TBD TBD

size

182 182 190 0 0 0 0 0 -1

N.S.

1 1.00 1.04 0.00 0.00 0.00 0.00 0.00 -0.01

time (sec)

N/A 0.083 7.027 0.025 0.000 0.000 0.000 0.000 0.000

Problem 1068

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C F F F F F F

verified

N/A Yes NO TBD TBD TBD TBD TBD TBD

size

164 164 184 0 0 0 0 0 -1

N.S.

1 1.00 1.12 0.00 0.00 0.00 0.00 0.00 -0.01

time (sec)

N/A 0.068 6.828 0.012 0.000 0.000 0.000 0.000 0.000

Problem 1069

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A C F B F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

120 120 109 186 0 282 0 0 -1

N.S.

1 1.00 0.91 1.55 0.00 2.35 0.00 0.00 -0.01

time (sec)

N/A 0.015 0.035 0.001 0.000 0.956 0.000 0.000 0.000

Problem 1070

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C F F F F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

148 148 63 0 0 0 0 0 -1

N.S.

1 1.00 0.43 0.00 0.00 0.00 0.00 0.00 -0.01

time (sec)

N/A 0.028 6.426 0.039 0.000 0.000 0.000 0.000 0.000

Problem 1071

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C F F F F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

166 166 37 0 0 0 0 0 -1

N.S.

1 1.00 0.22 0.00 0.00 0.00 0.00 0.00 -0.01

time (sec)

N/A 0.062 20.060 0.017 0.000 0.000 0.000 0.000 0.000

Problem 1072

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C F F F F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

184 184 37 0 0 0 0 0 -1

N.S.

1 1.00 0.20 0.00 0.00 0.00 0.00 0.00 -0.01

time (sec)

N/A 0.080 20.059 0.019 0.000 0.000 0.000 0.000 0.000

Problem 1073

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A C F B F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

61 61 54 138 0 104 0 0 -1

N.S.

1 1.00 0.89 2.26 0.00 1.70 0.00 0.00 -0.02

time (sec)

N/A 0.011 1.773 1.414 0.000 0.621 0.000 0.000 0.000

Problem 1074

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A C F C F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

61 61 54 139 0 115 0 0 -1

N.S.

1 1.00 0.89 2.28 0.00 1.89 0.00 0.00 -0.02

time (sec)

N/A 0.013 1.801 1.412 0.000 0.611 0.000 0.000 0.000

Problem 1075

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F F B F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

72 72 62 0 0 275 0 0 -1

N.S.

1 1.00 0.86 0.00 0.00 3.82 0.00 0.00 -0.01

time (sec)

N/A 0.017 2.024 0.035 0.000 0.580 0.000 0.000 0.000

Problem 1076

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F F B F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

74 74 65 0 0 274 0 0 -1

N.S.

1 1.00 0.88 0.00 0.00 3.70 0.00 0.00 -0.01

time (sec)

N/A 0.018 1.977 0.033 0.000 0.710 0.000 0.000 0.000

Problem 1077

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F F B F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

85 85 75 0 0 145 0 0 -1

N.S.

1 1.00 0.88 0.00 0.00 1.71 0.00 0.00 -0.01

time (sec)

N/A 0.019 1.985 0.031 0.000 0.587 0.000 0.000 0.000

Problem 1078

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F F B F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

85 85 75 0 0 145 0 0 -1

N.S.

1 1.00 0.88 0.00 0.00 1.71 0.00 0.00 -0.01

time (sec)

N/A 0.016 2.061 0.027 0.000 0.620 0.000 0.000 0.000

Problem 1079

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F F B F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

96 96 83 0 0 207 0 0 -1

N.S.

1 1.00 0.86 0.00 0.00 2.16 0.00 0.00 -0.01

time (sec)

N/A 0.022 2.038 0.032 0.000 0.645 0.000 0.000 0.000

Problem 1080

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F F B F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

98 98 86 0 0 211 0 0 -1

N.S.

1 1.00 0.88 0.00 0.00 2.15 0.00 0.00 -0.01

time (sec)

N/A 0.023 2.001 0.029 0.000 0.522 0.000 0.000 0.000

Problem 1081

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A C A A F A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

78 78 57 147 74 64 0 75 62

N.S.

1 1.00 0.73 1.88 0.95 0.82 0.00 0.96 0.79

time (sec)

N/A 0.037 0.056 1.651 0.481 0.498 0.000 1.513 0.053

Problem 1082

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A C A A F A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

63 63 52 142 63 59 0 64 51

N.S.

1 1.00 0.83 2.25 1.00 0.94 0.00 1.02 0.81

time (sec)

N/A 0.032 0.048 1.533 0.465 0.498 0.000 1.124 0.073

Problem 1083

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A C A A F A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

48 48 44 136 52 52 0 53 36

N.S.

1 1.00 0.92 2.83 1.08 1.08 0.00 1.10 0.75

time (sec)

N/A 0.023 0.034 1.420 0.490 0.580 0.000 1.037 0.056

Problem 1084

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A C A A F A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

33 33 33 125 41 41 0 42 25

N.S.

1 1.00 1.00 3.79 1.24 1.24 0.00 1.27 0.76

time (sec)

N/A 0.015 0.025 0.550 0.492 0.458 0.000 1.864 0.459

Problem 1085

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A C F A F A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

173 173 111 302 0 215 0 155 77

N.S.

1 1.00 0.64 1.75 0.00 1.24 0.00 0.90 0.45

time (sec)

N/A 0.094 0.116 3.683 0.000 0.456 0.000 1.065 0.509

Problem 1086

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A C F A F A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

191 191 127 314 0 252 0 169 81

N.S.

1 1.00 0.66 1.64 0.00 1.32 0.00 0.88 0.42

time (sec)

N/A 0.106 0.190 10.113 0.000 0.505 0.000 1.318 0.114

Problem 1087

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C F F F F F F

verified

N/A Yes NO TBD TBD TBD TBD TBD TBD

size

165 165 184 0 0 0 0 0 -1

N.S.

1 1.00 1.12 0.00 0.00 0.00 0.00 0.00 -0.01

time (sec)

N/A 0.126 6.807 0.019 0.000 0.000 0.000 0.000 0.000

Problem 1088

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C F F F F F F

verified

N/A Yes NO TBD TBD TBD TBD TBD TBD

size

147 147 179 0 0 0 0 0 -1

N.S.

1 1.00 1.22 0.00 0.00 0.00 0.00 0.00 -0.01

time (sec)

N/A 0.095 6.610 0.014 0.000 0.000 0.000 0.000 0.000

Problem 1089

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A C F B F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

61 61 54 138 0 104 0 0 -1

N.S.

1 1.00 0.89 2.26 0.00 1.70 0.00 0.00 -0.02

time (sec)

N/A 0.012 0.013 0.000 0.000 1.174 0.000 0.000 0.000

Problem 1090

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C F F F F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

127 127 68 0 0 0 0 0 -1

N.S.

1 1.00 0.54 0.00 0.00 0.00 0.00 0.00 -0.01

time (sec)

N/A 0.034 6.120 0.053 0.000 0.000 0.000 0.000 0.000

Problem 1091

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C F F F F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

149 149 52 0 0 0 0 0 -1

N.S.

1 1.00 0.35 0.00 0.00 0.00 0.00 0.00 -0.01

time (sec)

N/A 0.077 10.059 0.012 0.000 0.000 0.000 0.000 0.000

Problem 1092

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C F F F F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

165 165 52 0 0 0 0 0 -1

N.S.

1 1.00 0.32 0.00 0.00 0.00 0.00 0.00 -0.01

time (sec)

N/A 0.108 10.053 0.014 0.000 0.000 0.000 0.000 0.000

Problem 1093

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F B F(-1) C F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

173 173 131 0 275 0 94 0 -1

N.S.

1 1.00 0.76 0.00 1.59 0.00 0.54 0.00 -0.01

time (sec)

N/A 0.084 0.635 0.015 0.495 0.000 17.565 0.000 0.000

Problem 1094

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F B F(-1) C F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

136 136 112 0 189 0 92 0 -1

N.S.

1 1.00 0.82 0.00 1.39 0.00 0.68 0.00 -0.01

time (sec)

N/A 0.059 0.387 0.008 0.490 0.000 2.066 0.000 0.000

Problem 1095

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F A F(-1) C F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

113 113 100 0 93 0 85 0 -1

N.S.

1 1.00 0.88 0.00 0.82 0.00 0.75 0.00 -0.01

time (sec)

N/A 0.051 0.310 0.011 0.477 0.000 3.886 0.000 0.000

Problem 1096

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A B F B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

67 67 44 39 58 37 121 0 49

N.S.

1 1.00 0.66 0.58 0.87 0.55 1.81 0.00 0.73

time (sec)

N/A 0.020 0.267 0.101 0.279 1.981 38.397 0.000 0.642

Problem 1097

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A F(-1) F B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

104 104 67 62 94 60 0 0 75

N.S.

1 1.00 0.64 0.60 0.90 0.58 0.00 0.00 0.72

time (sec)

N/A 0.031 0.372 0.106 0.268 1.214 0.000 0.000 0.692

Problem 1098

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A F(-2) F B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

141 141 91 86 128 84 0 0 100

N.S.

1 1.00 0.65 0.61 0.91 0.60 0.00 0.00 0.71

time (sec)

N/A 0.043 0.464 0.105 0.267 1.820 0.000 0.000 0.671

Problem 1099

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C F F F C F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

180 180 123 0 0 0 94 0 -1

N.S.

1 1.00 0.68 0.00 0.00 0.00 0.52 0.00 -0.01

time (sec)

N/A 0.093 10.107 0.015 0.000 0.000 57.559 0.000 0.000

Problem 1100

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C F F F C F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

139 139 97 0 0 0 94 0 -1

N.S.

1 1.00 0.70 0.00 0.00 0.00 0.68 0.00 -0.01

time (sec)

N/A 0.072 10.086 0.010 0.000 0.000 4.937 0.000 0.000

[next] [prev] [prev-tail] [front] [up]